Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
801	Test Tool Validation Rules Add to Reading List Source URL: members.nfc-forum.org Language: English Technology Science Software testing Tests Food safety Verification and validation Validation Near field communication Evaluation Pharmaceutical industry Validity
802	Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-21 16:51:10 Systems science Model checkers Theoretical computer science Software quality Logic in computer science Model checking Formal verification PRISM model checker Reliability engineering Systems engineering Science Formal methods
803	Microsoft Word - Final Manual Preface1.DOC Add to Reading List Source URL: www.fhwa.dot.gov Language: English - Date: 2006-02-02 21:08:06 Software testing Quality control Tests Quality assurance Acceptance testing Test method Specification Sampling Verification Evaluation Measurement Science
804	VOLUME V SCHOOL TESTING GUIDE COMMON ORIGINATION AND DISBURSEMENT Add to Reading List Source URL: www.ifap.ed.gov Language: English - Date: 2013-05-09 14:48:09 New England Verification and validation Geography of the United States Evaluation Science Software testing Cape Cod Geology of Massachusetts
805	SAP VERIFICATION AND REGISTRY FORM: Add to Reading List Source URL: ncdot.gov Language: English - Date: 2011-05-05 13:06:06 Open Travel Alliance SAP AG Public key certificate Department of Motor Vehicles Act Software industry Business Computing Key management Legal documents Notary
806	COD School Testing Guide VOLUME V SECTION 1 Add to Reading List Source URL: www.ifap.ed.gov Language: English - Date: 2013-05-09 09:26:53 Cod Gadidae Seafood Verification and validation Fish Food and drink Software testing
807	GLAST LAT Project Technical Baseline Management September 30, 2003 Pat Hascall Add to Reading List Source URL: www-glast.slac.stanford.edu Language: English - Date: 2003-09-29 18:58:06 Configuration management Baseline Systems engineering process ISO 10303 Lat Change control Verification Change request Systems engineering Information technology management Software
808	College of Marin Flex Verification Form – Fall 2014 Part 1: Summary of Flex Week and Individual Activities The Flexible Calendar Program allows COM to designate a specified number of days/hours each semester for profe Add to Reading List Source URL: www.marin.edu Language: English - Date: 2014-08-08 13:36:01 Education Adobe Flex Academic term Flex Course credit Moodle Software Cross-platform software Educational software
809	Tutorial: Modeling, Verification, and Synthesis of Embedded Control Software Samarjit Chakraborty† ∗ Add to Reading List Source URL: esweek.acm.org Language: English - Date: 2014-08-23 02:06:53 Pharmaceutical industry Validity Systems engineering Simulation software Application software Simulink Verification and validation Model checking Software development process Formal methods Science Software
810	Title: Formal Verification of Simulink/Stateflow Diagrams Organizers: Naijun Zhan, State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, email: [removed] Speakers: Naijun Zhan and Li Add to Reading List Source URL: esweek.acm.org Language: English - Date: 2014-08-23 02:06:53 Visual programming languages Simulation software Stateflow Simulink Formal verification Hybrid system Isabelle Proof assistant KeY Software Mathematical software Application software

UPDATE